Menu
Home
Advanced Search
Directory of Libraries
About lib.ir
Contact Us
History
تعداد ۲ پاسخ غیر تکراری از ۲ پاسخ تکراری در مدت زمان ۰,۴۴ ثانیه یافت شد.
1. Logics of Programs :
استناد
اطلاعات استناد دهی
BibTex
RIS
Endnote
Refer
Author:
by E. Clarke, D. Kozen.
Library:
Center and Library of Islamic Studies in European Languages
(
Qom
)
Subject:
Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
Classification :
2. Logics of Programs :
استناد
اطلاعات استناد دهی
BibTex
RIS
Endnote
Refer
Author:
edited by Dexter Kozen.
Library:
Center and Library of Islamic Studies in European Languages
(
Qom
)
Subject:
Computer science.,Logic design.,Programmation (Informatique) -- Congrès.
Classification :
»
1
«
Proposal/Bug Report
×
Proposal/Bug Report
×
Warning!
Enter The Information Carefully
Error Report
Proposal